Programming by multiset transformation

Higher-Order Multiset Programming

Gamma is a kernel language in which programs are described in terms of multiset transformations following the chemical reaction metaphor. Previous work has demonstrated its signiicance for the construction of massively parallel programs but also highlighted some limitations. We introduce a higher-order extension of this formalism unifying the program and data syntactic categories. As a conseque...

Parallel Programming by Transformation

This paper presents a system to produce e cient implementations of parallel array-based algorithms from high-level speci cations. It is structured as a transformation through a series of progressively more detailed representations. This allows the use of high-level programming features without losing the ne control of low-level languages. During the transformation process, parallel implementati...

Multiset rewriting by multiset onstraint solving

Multiset Rewriting for Concurrent Object-oriented Programming

In this paper, we present a calculus model expressing the behavior of a system of communicating objects via multiset rewriting. Then, we introduce the composition principle allowing to synchronize several applicable rewriting rules. Finally, we interpret the so-deened model in a fragment of linear logic.

Properties of Multiset Language Classes Defined by Multiset Storage Automata

The previously introduced multiset language classes defined by multiset storage automata are being explored with respect to their closure properties and alternative characterizations.